Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 18455 results
Sort by: relevance publication year

Topology and Epistemic Logic

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Rohit Parikh | Lawrence S. Moss | Chris Steinsvold

https://doi.org/10.1007/978-1-4020-5587-4_6 Actions

Spatial Logic + Temporal Logic = ?

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Roman Kontchakov | Agi Kurucz | Frank Wolter | Michael Zakharyaschev

https://doi.org/10.1007/978-1-4020-5587-4_9 Actions

Axioms, Algebras and Topology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Brandon Bennett | Ivo Düntsch

https://doi.org/10.1007/978-1-4020-5587-4_3 Actions

Dynamic Topological Logic

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Philip Kremer | Grigori Mints

https://doi.org/10.1007/978-1-4020-5587-4_10 Actions

What is Spatial Logic?

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Marco Aiello | Ian Pratt-Hartmann | Johan Van Benthem

https://doi.org/10.1007/978-1-4020-5587-4_1 Actions

Logic of Space-Time and Relativity Theory

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Hajnal Andréka | Judit X. Madarász | István Németi

https://doi.org/10.1007/978-1-4020-5587-4_11 Actions

Modal Logics of Space

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Johan van Benthem | Guram Bezhanishvili

https://doi.org/10.1007/978-1-4020-5587-4_5 Actions

Discrete Spatial Models

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Michael B. Smyth | Julian Webster

https://doi.org/10.1007/978-1-4020-5587-4_12 Actions

Modal Deduction with Applications in Epistemic and Temporal Logics

BOOK CHAPTER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: Luis Farinas del Cerro | Andreas Herzig

https://doi.org/10.1093/oso/9780198534532.003.0008 Actions

Modal Deduction with Applications in Epistemic and Temporal Logics

BOOK CHAPTER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: Luis Farinas del Cerro | Andreas Herzig

https://doi.org/10.1093/oso/9780198537915.003.0008 Actions

Qualitative Spatial Reasoning Using Constraint Calculi

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Jochen Renz | Bernhard Nebel

https://doi.org/10.1007/978-1-4020-5587-4_4 Actions

First-Order Mereotopology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Ian Pratt-Hartmann

https://doi.org/10.1007/978-1-4020-5587-4_2 Actions

Spatial Reasoning and Ontology: Parts, Wholes, and Locations

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Achille C. Varzi

https://doi.org/10.1007/978-1-4020-5587-4_15 Actions

Locales and Toposes as Spaces

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Steven Vickers

https://doi.org/10.1007/978-1-4020-5587-4_8 Actions

Mathematical Morphology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Isabelle Bloch | Henk Heijmans | Christian Ronse

https://doi.org/10.1007/978-1-4020-5587-4_14 Actions

Logics of Formal Inconsistency

BOOK CHAPTER published 2007 in Handbook of Philosophical Logic

Authors: Walter Carnielli | Marcelo E. Coniglio | João Marcos

https://doi.org/10.1007/978-1-4020-6324-4_1 Actions

Basic Description Logics

BOOK CHAPTER published 9 August 2007 in The Description Logic Handbook

Authors: F. Baader | W. Nutt

https://doi.org/10.1017/cbo9780511711787.004 Actions

15 Combining modal logics

BOOK CHAPTER published 2007 in Handbook of Modal Logic

Authors: Agi Kurucz

https://doi.org/10.1016/s1570-2464(07)80018-8 Actions

Expressive Description Logics

BOOK CHAPTER published 9 August 2007 in The Description Logic Handbook

Authors: D. Calvanese | G. De Giacomo

https://doi.org/10.1017/cbo9780511711787.007 Actions

Real Algebraic Geometry and Constraint Databases

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Floris Geerts | Bart Kuijpers

https://doi.org/10.1007/978-1-4020-5587-4_13 Actions
Feedback: support@crossref.org